$\forall$$L$:Top List, $R$:Top. [[$\oplus$$x$$\in$$L$.$R$($x$)]] $\sim$ $\oplus$(map($\lambda$$x$.[[$R$($x$)]];$L$))